text: Remove some useless casts
authorTimm Bäder <mail@baedert.org>
Mon, 15 Jul 2019 03:19:02 +0000 (05:19 +0200)
committerTimm Bäder <mail@baedert.org>
Mon, 15 Jul 2019 03:19:02 +0000 (05:19 +0200)
commit70b0f712adbd340a7783388557c545a8378cc813
tree22ca169609a8f854b74f4d4592d32b45c878801e
parentc6e9372ba39e5581d4c934c94da7e2d0bc33a7fc
text: Remove some useless casts
gtk/gtktext.c